English translation for "vérification de modèles"

model checking

Example Sentences:

	1.	As for Linear Temporal Logic, model checking, satisfiability and validity problems of linear modal μ-calculus are PSPACE-complete. Comme pour la logique temporelle linéaire (LTL), le problème de la vérification de modèles, de la satisfiabilité et de la validité du mu-calcul linéaire est PSPACE-complet.
	2.	Pioneering work in temporal logic specification was done by Amir Pnueli, who received the 1996 Turing award for "seminal work introducing temporal logic into computing science". La vérification de modèles s'appuie sur la logique temporelle dont l'un des pionniers est Amir Pnueli, qui reçut le prix Turing en 1996 pour « seminal work introducing temporal logic into computing science » (« travaux fondateurs qui introduisent la logique temporelle en informatique »).
	3.	His interests focus on applications of logic to computer science, including database theory, finite-model theory, knowledge in multi-agent systems, computer-aided verification and reasoning, and teaching logic across the curriculum. Ses centres d'intérêt concernent principalement l'application de la logique à l'informatique, en particulier la théorie des bases de données, la théorie des modèles finis, la modélisation de la connaissance dans les systèmes multi-agents, la vérification de modèles (model checking), et le raisonnement assisté par ordinateur et l'enseignement de la logique.
	4.	In this role, these games are of particular importance in finite model theory and its applications in computer science (specifically Computer Aided Verification and database theory), since Ehrenfeucht–Fraïssé games are one of the few techniques from model theory that remain valid in the context of finite models. Cet usage est d'une importance particulière en théorie des modèles finis et dans ses applications informatiques, comme en vérification de modèles et en théorie des bases de données, puisque les jeux d'Ehrenfeucht-Fraïssé sont l'une des rares techniques de la théorie des modèles qui restent valables dans le contexte de modèles finis.

Similar Words：

"vérificateur général du québec" English translation, "vérificateur orthographique" English translation, "vérificatif" English translation, "vérification" English translation, "vérification de compte" English translation, "vérification des comptes" English translation, "vérification des faits" English translation, "vérification des votes" English translation, "vérification formelle" English translation